\relax 
\citation{ASE}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Stochastic Process Algebra Formalization of Client-Server Model}{61}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{pepachapter}{{5}{61}}
\citation{PAQA}
\citation{HIL}
\citation{SPA}
\citation{HIL}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}PEPA: a Process Algebra for Quantitative Analysis}{63}}
\newlabel{Markov}{{4}{63}}
\citation{HIL}
\@writefile{toc}{\contentsline {paragraph}{The Language}{64}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Structured Operational Semantic of PEPA.\relax }}{66}}
\newlabel{pepa-sem}{{5.1}{66}}
\citation{HIL}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}A PEPA Formalism for Client-Server Model with Request-Reply Behaviour}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}Definition}{68}}
\newlabel{cs-definition-pepa}{{5.2.1}{68}}
\newlabel{pepa-program-cs}{{5.2.1}{68}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces A Client alternating $think$ phase to $wait$ ones.\relax }}{69}}
\newlabel{process-pepa}{{5.2}{69}}
\citation{PEPA-WORK}
\citation{HAYDEN}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Quantitative Comparison with respect to other Resolution Techniques}{70}}
\newlabel{pepaconsiderations}{{5.2.2}{70}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Considerations}{70}}
\newlabel{pepa-resolution}{{5.2.2}{70}}
\@writefile{toc}{\contentsline {paragraph}{Model Resolution}{70}}
\citation{JMT}
\citation{FABIO}
\newlabel{rq-pepa}{{5.1}{71}}
\@writefile{toc}{\contentsline {paragraph}{Results}{71}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.3}{\ignorespaces The $RQ$ shapes\relax }}{72}}
\newlabel{pepa}{{5.3}{72}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.4}{\ignorespaces Errors of resolution techniques against the simulation\relax }}{73}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {Absolute Error}}}{73}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {Relative Error}}}{73}}
\newlabel{pepaerrs}{{5.4}{73}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Conclusion}{74}}
\@setckpt{pepa}{
\setcounter{page}{75}
\setcounter{equation}{1}
\setcounter{enumi}{3}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{5}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{4}
\setcounter{table}{0}
\setcounter{lstnumber}{1}
\setcounter{parentequation}{0}
\setcounter{AM@survey}{0}
\setcounter{ContinuedFloat}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{2}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{thm}{4}
\setcounter{thm2}{0}
\setcounter{lstlisting}{0}
}
